A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4

The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics

Notas corológicas del macrofitobentos de Andalucía (España). VII

El presente trabajo añade nuevas especies a los catálogos de algas Rhodophyceae (Conde et al., 1996b), Phaeophyceae (Flores- Moya et al., 1995a) y Chlorophyceae (Flores-Moya et al., 1995b) existentes para las costas andaluzas, aumentando de este modo el conocimiento florístico del macrofitobentos de Andalucía. La mayoría de las aportaciones proceden de cubetas intermareales de la Isla de las Palomas (Tarifa, Cádiz), excepto una de Punta Carnero (Cádiz) y una de Marina del Este (Granada). En conjunto se aportan una cita nueva para Andalucía (señalada con un asterisco), cinco citas nuevas y tres confirmaciones para la provincia de Cádiz, y una novedad para el catálogo de la provincia de Granada.El material recolectado fue preservado en formol al 4% en agua de mar, identificado y depositado en el herbario de la Universidad de Málaga (MGC Phyc)

Agroecological entrepreneurship, public support, and sustainable development: The case of rural Yucatan (Mexico)

This paper offers an approach to Yucatecan social reality in terms of entrepreneurship and the process of creating companies dedicated to the production and/or commercialization of agroecological products, considering its contribution to sustainable rural development. The key actors’ perspective towards the existence of policies that favor land sustainability, assist in the development of rural areas and their population, and support these business initiatives is also presented. Likewise, it illustrates the small entrepreneurs’ standpoint on the role of public institutions in promoting wealth generation and sustainable development in lower growth areas, such as the state of Yucatan, in Mexico. A qualitative methodology was used for this research, based on in-depth interviews with a group of businessmen and-women from the region. The main results give a pessimistic view of institutional concern regarding both production and consumption of agroecological products and, therefore, the promotion of these enterprises for the socioeconomic development of Yucatan. From these findings, we detect: (a) A policy of scarce support for this type of production, due to political priorities; (b) inadequate management that prevents the consolidation of certain structures needed to support agroecological enterprises; (c) a lack of confidence in the Yucatecan government, which does not promote or support a social network of collaboration between agroecological producers and marketers; (d) a difficulty in undertaking agroecological enterprises because of social and cultural norms and poor environmental awareness among the population; (e) significant training deficiencies among entrepreneurs in agroecological agriculture; (f) absence of adequate distribution channels for agroecological products; and (g) excessive bureaucratic obstacles through laws that hinder entrepreneurial processes

RCD+: Fast Loop Modeling Server

Modeling loops is a critical and challenging step in protein modeling and prediction. We have developed a quick online service (http://rcd.chaconlab.org) for ab initio loop modeling combining a coarse-grained conformational search with a full-atom refinement. Our original Random Coordinate Descent (RCD) loop closure algorithm has been greatly improved to enrich the sampling distribution towards near-native conformations. These improvements include a new workflow optimization, MPI-parallelization and fast backbone angle sampling based on neighbor-dependent Ramachandran probability distributions. The server starts by efficiently searching the vast conformational space from only the loop sequence information and the environment atomic coordinates. The generated closed loop models are subsequently ranked using a fast distance-orientation dependent energy filter. Top ranked loops are refined with the Rosetta energy function to obtain accurate all-atom predictions that can be interactively inspected in an user-friendly web interface. Using standard benchmarks, the average root mean squared deviation (RMSD) is 0.8 and 1.4 angstrom for 8 and 12 residues loops, respectively, in the challenging modeling scenario in where the side chains of the loop environment are fully remodeled. These results are not only very competitive compared to those obtained with public state of the art methods, but also they are obtained similar to 10-fold faster

Habilidades del psicólogo en drogodependencias

Las habilidades del terapeuta constituyen un aspecto fundamental para la consecución de los distintos objetivos que al psicólogo se le plantean en el transcurso de su intervención con el usuario drogodependiente. En este articulo se presenta una revisión de las habilidades que los autores consideran imprescindibles, aportando ejemplos prácticos y con independencia de la orientación teórica del psicólogo. Las habilidades técnicas o profesionales se refieren a conocimientos teóricos y prácticos; el afltocontrol emocional, incluyendo tanto el afrontamiento ef caz por parte del psicólogo de ciertas situaciones ante el usuario, y especificamente si éste es un drogodelincuente, como el afrontamiento del burn out; y por último, las habilidades sociales, en las que se sustenta la interacción entre el psicólogo y el usuario, destacando la asertividad y la empatia. Finalmente se revisan distintos aspectos y principios generales referidos a la ética profesional en la práctica de la Psicologia Clínica

iMODS: internal coordinates normal mode analysis server

Normal mode analysis (NMA) in internal (dihedral) coordinates naturally reproduces the collective functional motions of biological macromolecules. iMODS facilitates the exploration of such modes and generates feasible transition pathways between two homologous structures, even with large macromolecules. The distinctive internal coordinate formulation improves the efficiency of NMA and extends its applicability while implicitly maintaining stereochemistry. Vibrational analysis, motion animationś and morphing trajectories can be easily carried out at different resolution scales almost interactively. The server is versatile; non-specialists can rapidly characterize potential conformational changes, whereas advanced users can customize the model resolution with multiple coarse-grained atomic representations and elastic network potentials. iMODS supports advanced visualization capabilities for illustrating collective motions, including an improved affine-model-based arrow representation of domain dynamics. The generated all-heavy-atoms conformations can be used to introduce flexibility for more advanced modeling or sampling strategies.Human Frontier Science Program—RGP0039/2008, Ministerio de Economía y Competitividad—BFU2013-44306P and Comunidad de Madrid—CAM-S2010/BMD

Relational semantics for the 4-valued relevant logics BN4 and E4

The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The aim of this paper is to define reduced general Routley-Meyer semantics for BN4 and E4. It is proved that BN4 and E4 are strongly sound and complete w.r.t. their respective semantics